Oracle Semantics for Concurrent Separation Logic (Extended Version) Aquinas Hobor1⋆ Andrew W. Appel1⋆ 1

Source URL: www.cs.princeton.edu

• Theoretical computer science
• Logic in computer science
• Logic
• Mathematical logic
• Edsger W. Dijkstra
• Formal methods
• Separation logic
• Substructural logic
• Concurrent computing
• Modal logic
• Semantics
• Parallel computing

Reducing the Barriers to Writing Verified Specifications Todd W. Schiller Michael D. Ernst University of Washington

Source URL: homes.cs.washington.edu

• Theoretical computer science
• Formal methods
• Software engineering
• Computing
• Logic in computer science
• Java Modeling Language
• Postcondition
• Extended static checking
• Predicate transformer semantics
• ESC/Java
• Precondition
• KeY

Can Evidence for Design be Explained Away? Formal Methods in Epistemology of Religion Leuven, 10-12 June, 2009 David Glass

Source URL: scm.ulster.ac.uk

Newman’s Typability Algorithm Herman Geuvers1 Radboud University Nijmegen and Eindhoven University of Technology The Netherlands

Source URL: www.cs.ru.nl

• Theoretical computer science
• Formal methods
• Mathematical logic
• Computability theory
• Type theory
• Algorithm
• Lambda calculus
• Combinatory logic
• Set theory
• Gottlob Frege
• Ernst Zermelo

NASA Formal Methods 2015 April 27th, 2015 Pasadena, CA, USA Reachability Preservation Based Parameter Synthesis for Timed Automata

Source URL: lipn.univ-paris13.fr

CSL Technical Report SRI-CSL-06-01 • May 23, 2006 Integrating Simplex with DPLL(T ) Bruno Dutertre and Leonardo de Moura This report is based upon work supported by the Defense Advanced Research Projects

Source URL: yices.csl.sri.com

• Theoretical computer science
• Computational complexity theory
• Mathematics
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Constraint programming
• Satisfiability modulo theories
• Boolean satisfiability problem
• Solver
• Simplex algorithm

Zollman Formal Methods (TH 3:00): Homework 1 Problem 1

Source URL: www.andrew.cmu.edu

Proceedings of the Workshop on Formal Methods in Human Computer Interaction (FoMHCI) 2015, Duisburg, Germany Eds.: Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque FoMHCI Website: https://sites.google.com/site/w

Source URL: publications.rwth-aachen.de

Contract.Requires(amount > 0.0); Contract.Ensures(Balance == Contract.OldValue(Balance) + amount); Contract.Invariant(Balance > 0.0); Encouraging Effective Contract Specifications

Source URL: homes.cs.washington.edu

• Theoretical computer science
• Formal methods
• Logic in computer science
• Postcondition
• Null